Reducing SAT to 2-SAT

نویسنده

  • Sergey Gubin
چکیده

Description of a polynomial time reduction of SAT to 2-SAT of polynomial size.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Evaluation of Serum Agglutination Test in the Diagnosis of Pediatric Brucellosis

Background & Aims: Brucellosis is a public health problem in many developing countries, including Iran. Diagnosis is based on history, clinical manifestations and positive serum agglutination test (SAT) or Wright test. The purpose of this study was to evaluate the diagnostic value of SAT in pediatric Brucellosis. Methods: In this prospective study, during 2 years, 52 patients with clinical feat...

متن کامل

Providing a Simple Method for the Calculation of the Source and Target Reliabili- ty in a Communication Network (SAT)

The source and target reliability in SAT network is de- fined as the flawless transmission from the source node to all the other nodes. In some references, the SAT pro- cess has been followed between all the node pairs but it is very time-consuming in today’s widespread networks and involves many costs. In this article, a method has been proposed to compare the reliability in complex networks b...

متن کامل

Characterisation of recent foot-and-mouth disease viruses from African buffalo (Syncerus caffer) and cattle in Kenya is consistent with independent virus populations

BACKGROUND Understanding the epidemiology of foot-and-mouth disease (FMD), including roles played by different hosts, is essential for improving disease control. The African buffalo (Syncerus caffer) is a reservoir for the SAT serotypes of FMD virus (FMDV). Large buffalo populations commonly intermingle with livestock in Kenya, yet earlier studies have focused on FMD in the domestic livestock, ...

متن کامل

The Optimization of Magnetic Resonance Imaging Pulse Sequences in Order to Better Detection of Multiple Sclerosis Plaques

Background and objective: Magnetic resonance imaging (MRI) is the most sensitive technique to detect multiple sclerosis (MS) plaques in central nervous system. In some cases, the patients who were suspected to MS, Whereas MRI images are normal, but whether patients don’t have MS plaques or MRI images are not enough optimized enough in order to show MS plaques? The aim of the current study is ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/0704.0108  شماره 

صفحات  -

تاریخ انتشار 2007